5

Scrabble is PSPACE-Complete

Année:
2015
Langue:
english
Fichier:
PDF, 2.62 MB
english, 2015
7

Matrix identities and the pigeonhole principle

Année:
2004
Langue:
english
Fichier:
PDF, 83 KB
english, 2004
18

An improved upper bound and algorithm for clique covers

Année:
2018
Langue:
english
Fichier:
PDF, 945 KB
english, 2018
23

Malware Persistence Mechanisms

Année:
2020
Fichier:
PDF, 856 KB
2020
29

The proof theoretic strength of the Steinitz exchange theorem

Année:
2007
Langue:
english
Fichier:
PDF, 224 KB
english, 2007
30

On the Ehrenfeucht–Mycielski sequence

Année:
2009
Langue:
english
Fichier:
PDF, 190 KB
english, 2009
31

LA, permutations, and the Hajós Calculus

Année:
2005
Langue:
english
Fichier:
PDF, 244 KB
english, 2005
36

Weak theories of linear algebra

Année:
2005
Langue:
english
Fichier:
PDF, 180 KB
english, 2005
37

On the Complexity of Computing Winning Strategies for Finite Poset Games

Année:
2011
Langue:
english
Fichier:
PDF, 480 KB
english, 2011
39

The proof complexity of linear algebra

Année:
2004
Langue:
english
Fichier:
PDF, 678 KB
english, 2004
44

10.1038/32462

Année:
1998
Langue:
english
Fichier:
PDF, 409 KB
english, 1998
46

Proving properties of matrices over({mathbb{Z}_{2}})

Année:
2012
Langue:
english
Fichier:
PDF, 221 KB
english, 2012